 63.1 - v. Is -14 less than x?
True
Suppose 22 = -35*f - 13. Which is greater: 1/85 or f?
1/85
Suppose 5*j - 30 + 40 = 0, 5*v - 2 = j. Do v and -2/3843 have different values?
True
Let z = -15 + 13. Let x = -0.6 - -0.6. Which is smaller: z or x?
z
Let h be 5*2/10*-103. Let t = 100 + h. Is t < -1.1?
True
Suppose 2812 = -6*n - 3398. Is n equal to -1035?
True
Let m = -20 - -19. Let z = -39 + 14. Which is bigger: m or z?
m
Suppose 0 = 4*i - 3*g - 15, -g = 5*i + 5. Which is greater: 1/8 or i?
1/8
Let i(u) = -u**3 + 12*u**2 - 10*u - 3. Let p be i(8). Let h = -143 + p. Do h and 31 have the same value?
False
Let x(p) = 13*p - 183. Let j be x(15). Which is greater: j or 14?
14
Suppose 6*f - 174 - 12 = 0. Let u = -31 + f. Let a = -6 + 4. Is u greater than or equal to a?
True
Let n = 37.8 - -10.2. Is 0 not equal to n?
True
Suppose 2*k - 5 = 5*a, -k + 0*k + 3*a + 3 = 0. Is -2/37 at least k?
False
Let u(b) = b**2 + b - 2. Let r be u(1). Suppose -7*q + 10*q = r. Let c = -106 - -534/5. Which is smaller: q or c?
q
Suppose -4*t - 5*k - 8 = 0, -8*k + 7*k = -3*t - 6. Is t > 1/97?
False
Suppose 0 = 6*r - 2*r - 12. Suppose -i = -2*i - 44. Let t be 80/(-198) - 8/i. Which is greater: t or r?
r
Let u = 4 - 3. Let q be 2 - ((-36)/(-22))/1. Which is bigger: q or u?
u
Let n = -1850 - -1850. Which is bigger: -49/45 or n?
n
Let m(w) = 2*w**3 + 19*w**2 - 9*w + 12. Let i be m(-10). Which is bigger: -13.6 or i?
i
Let t be (-1)/(-2) - 2/(-4). Let j = 4634/10413 + -2/3471. Is j bigger than t?
False
Let j(l) = 3*l - 57. Let v be j(19). Suppose v = 10*o + 4*o + 84. Is o >= -2?
False
Let n be (129/3)/(9 + -6). Let h = n + -15. Is h != 1/12?
True
Let i = -17 + 19. Let l be 648/330 + (i - 4). Which is bigger: 1 or l?
1
Let z = -319 + 7019/22. Let h = 42 - 43. Are z and h equal?
False
Suppose 0 = 325*g - 345*g - 1180. Which is smaller: 1 or g?
g
Let j = 157 - 144.1. Let n = 13 - j. Are n and 0.12 equal?
False
Suppose n - 4*j = 0, -4*n + 35 + 25 = 4*j. Let f = 11 - n. Let d be (-30)/(-33) + -1 - 0. Which is smaller: f or d?
f
Let j = 910 + -919. Is j at most 0.043?
True
Suppose 0 = -5*g + 2*h + 70, -4*h + 3*h = -2*g + 28. Let l be (2/g)/((-3)/9). Let k be (-11)/((-99)/(-6)) - -1. Are l and k equal?
False
Suppose 934 + 11234 = -26*i. Does -467 = i?
False
Suppose -3*q + 0 = 30. Let w = 326 - 337. Which is greater: q or w?
q
Let k = -1 + 7. Let y(w) = 7*w**2 - w - 2. Let g be y(-2). Let o be 2/k - 7/g. Is -1 < o?
True
Suppose 4*j - 4 = 5*f, 3*j - 4*f = 4*j - 1. Are -2/1121 and j equal?
False
Let u(z) = 2*z - 5. Let i be u(4). Suppose 9*m - 12 = -i. Which is greater: m or -5/11?
m
Let l = -122/3 - -253/6. Is l at least 2/9?
True
Let j be (-13 - -8)/(-25) + (-118)/890. Which is smaller: 0 or j?
0
Let p = -5 + -31. Let o be ((-8)/(-14))/((-5)/((-625)/2)). Let j = p + o. Is j greater than -1?
True
Let a(w) = -8 + 5 - 2 + 2*w. Let l be a(5). Suppose 2*h - h + l*y = 25, 3*y = -2*h + 15. Which is smaller: h or 1/19?
h
Suppose 0 = -5*z + 13*z + 120. Let q be (-3)/z + 6/(-630). Which is greater: q or -2/5?
q
Suppose -4*a - s = a + 105, -a = 4*s + 2. Is a > -14?
False
Let k = -712 + 883. Which is smaller: k or 177?
k
Let x = 10 - -4. Let t be 203/x*14/4. Let p = t - 8721/172. Is p bigger than 0?
True
Suppose -232 - 245 = 9*t. Is -55 >= t?
False
Let r(l) = 2*l + 2. Suppose -2*a - 3*c = 5, -12 = a - 4*c + 18. Let o be r(a). Is o >= -18?
True
Let k = -1687 + 1686.76. Which is greater: k or 2/9?
2/9
Let i = -2221/5 + 441. Are -3 and i non-equal?
True
Let u be (-44)/(-3)*(-1320)/80. Which is smaller: u or -241?
u
Let c = -32 + 32. Let t be 7/(-28) + (c - 162/56). Which is bigger: t or -4?
t
Let q = -53 + 52. Let x be q/2*4/(-6). Is x <= 0?
False
Let r = -26191/8 - -3269. Which is bigger: r or -3?
-3
Let w(g) = -5*g - 2. Let c be w(-2). Let m = c + -3. Suppose -5 = -m*x + 5. Which is greater: 5 or x?
5
Let a be 79*(82/(-287) - (-9)/7). Which is bigger: a or 552/7?
a
Let m = -90 - -88. Is -36/23 less than or equal to m?
False
Let g = -3304 - -3134. Which is smaller: -171 or g?
-171
Let m(w) = w**3 + 41*w**2 + 113*w - 40. Let x be m(-38). Suppose 8*c - 3*c - 10 = 0. Which is greater: x or c?
c
Let z be (-110)/(-15) + (-2)/6. Let c = z + -4. Which is greater: 2 or c?
c
Let g = -345 - -350. Which is bigger: g or 0.09?
g
Let q = -20 + 22. Let v be -1*q/4 - 14/4. Is v at most -22/7?
True
Let s = 861.417 + -861.4. Let c be 2 + 2/(-2) + -1. Is s at most as big as c?
False
Let y = 35.1 + -34.5. Which is smaller: 0.29 or y?
0.29
Suppose -76 = 41*l - 45*l. Let g be (-2)/(-10) - l/5*9. Is g bigger than -34?
False
Let i = 3/373 + 1231/32451. Is -1 != i?
True
Let v = -1033 - -974. Is 1/6 at most v?
False
Suppose 3*b = b. Suppose -23 = 5*v - 4*l + 73, 4 = l. Let s be (3/16)/(36/v). Is s bigger than b?
False
Suppose -162 = 11*p - 20*p. Do p and 13 have the same value?
False
Suppose -3*p - 3*z + 112 = 2*p, -2*p - 5*z + 60 = 0. Let o = -16 + p. Is o smaller than -2?
False
Let q = 468.1 - 440. Let m = q - 28. Let n = 0.1 - 0.1. Is m less than n?
False
Let w = -35 + 38. Let o be w + (-15)/9 + -2. Which is greater: 7/4 or o?
7/4
Suppose 63 = -w + 6*w + 3*d, 87 = 5*w - 3*d. Let f be 4/18 - w/(-54). Which is smaller: -2.5 or f?
-2.5
Suppose -f = -6 + 8. Let c be (-9)/(6/f)*68/6. Is c != 34?
False
Let t(k) = -2*k - 2. Let j be t(-3). Let m = 68 - 68. Suppose g - w + j = m, 4*g = -g + w - 24. Which is smaller: -3 or g?
g
Let s be (-16)/6*18/8. Let y be 3/s*0 - 1. Let z = 11/6 - 3/2. Which is smaller: y or z?
y
Let n = -12 + 6. Let s = 13 - n. Let f = 20 - s. Which is bigger: 2/17 or f?
f
Suppose -3*k + 9*k = -48. Let j(h) = -h**3 - 9*h**2 - 8*h + 2. Let s be j(k). Let o be -4 - -4 - s - -17. Which is greater: 16 or o?
16
Let b be (-6)/(-88) + 7*(-8)/(-308). Is -2 >= b?
False
Let w = 3/7 - -5/21. Suppose -2*b - 2 = 2*o, 0 = -2*o + 3*b + 3 - 15. Let n = 5 + o. Which is bigger: w or n?
n
Suppose 0 = 3*g - 4*g - 1. Let k be -2 - ((-21552)/(-81) + -1). Let i = k + 267. Which is smaller: g or i?
g
Let q = -302 - -38352/127. Is q equal to 0?
False
Let z(q) = -q**3 + 5*q**2 - 3*q - 5. Let x = 5 + -1. Let i be z(x). Let g = -133 + 132. Is i less than or equal to g?
True
Let l = -0.9 + 1. Let j = 3.6 - 2.6. Which is bigger: l or j?
j
Let m = 2204/15 - 733/5. Which is smaller: m or -2/479?
-2/479
Suppose -5*s + 1 + 39 = -5*n, 7 = 2*s - 5*n. Suppose -v - 1 = -3. Is s greater than v?
True
Let b(l) = 5*l**3 + 2*l**2 + 7*l - 1. Let o be b(3). Is o at most 173?
True
Let r = 32/17 + 131/102. Are r and 4 non-equal?
True
Let s = 86 - -123. Is 208 at least as big as s?
False
Let r(h) = 9*h - 19. Let u = 80 - 77. Let p be r(u). Which is greater: 68/9 or p?
p
Let a be 10 + -5 + 3639/(-735). Is a at most -1?
False
Let n(i) = -i**3 - 4*i**2 - 2*i + 2. Let w be n(-3). Let v be 4*w*(-11)/44 - 11. Are v and -9 equal?
False
Let y = 85 - 54. Let h = y - 34. Which is bigger: -1 or h?
-1
Let f = 726.45 - 719. Is 2/5 at most f?
True
Let c = -16 - -28. Suppose -2*a - c = -5*a. Suppose -4*m - 2 = 2*o - m, -4*o = m + a. Is -13 bigger than o?
False
Let a be (53568/315)/3 + (-6)/15. Is a > 56?
True
Let n be (-14)/(-4) - 20/8. Let r be n + (-7)/(105/10). Which is bigger: 7 or r?
7
Suppose -67*i = -23*i. Which is greater: -4/65 or i?
i
Let z = -254 - -239. Suppose 14 - 218 = -4*k. Suppose 3*a + k = 9. Is z != a?
True
Suppose 11*d - 6*d - 40 = 0. Let r = -10 + d. Let s = -1 - 1. Are r and s unequal?
False
Let i = 115 - 97. Suppose 4*q = 53 + 19. Is q > i?
False
Let l = 23/36 + -1/12. Suppose 0 = -2*i - 18*x + 20*x + 12, 0 = 5*i + 2*x - 2. Is l <= i?
True
Suppose 3*g + 6 = i, 0 = -3*g + 5*g + i - 1. Is 5/21 not equal to g?
True
Let g = 725 + -726. Which is greater: g or -9/95?
-9/95
Suppose -l - y - 31 = -3*y, -4*l - 88 = y. Suppose -52 = r - 5*h - 19, -2*r + h - 48 = 0. Is r <= l?
True
Let n be (-24 - -27)/((21/(-2))/7). Are -144/43 and n unequal?
True
Let r(m) = 134*m - 325. Let b be r(8). Is b less than 747?
False
Suppose 0 = -4*q + 24 - 20. Let r be (-187)/286 - (3/2 - q). Which is smaller: -2 or r?
-2
Let y = -0.098 + -0.602. Let b = -0.3 + y. Which is bigger: 1/61 or b?
1/61
Let j = 651 - 645. Is 0.05 greater than j?
False
Let r = 5.027 - 5. Let s be (-11)/(-66)*12/(-8). Is s != r?
True
Suppose 5052*n - 20734 = 5038*n. Is n not equal to 1482?
True
Suppose -