 + 4. Let j be h(a). Which is smaller: j or 14?
j
Let j = -0.0324 + 678.0324. Is j bigger than 2?
True
Let v = 7.09 - 37.09. Is 1 >= v?
True
Let j = -245 + 221. Let z = 29 + -53. Is z greater than j?
False
Let w = -915 + 19219/21. Is w not equal to -1/3?
True
Let v = 0.01 - 2.01. Let b = v - 0. Let n = 1.25 + -1.2. Which is smaller: n or b?
b
Let y = 28 - 26.4. Let p = -4.71 + 0.81. Let d = p + 4. Is y equal to d?
False
Suppose -22*u = 3*r - 19*u + 9, 0 = 3*u + 6. Do r and -10/97 have the same value?
False
Suppose -2*y - k + 2 + 0 = 0, y + k - 3 = 0. Is y at most as big as -27/19?
False
Let c = -2.9 - -3. Suppose 3*p = -8*h + 5*p - 78, 3*p = -3. Which is bigger: c or h?
c
Let q be (376/(-7426))/((-3)/(9/2)). Is 1 greater than or equal to q?
True
Let t be (-5 - 1)*686/(-588). Which is smaller: 22 or t?
t
Let h = 567481/183 + -3101. Which is smaller: 0 or h?
h
Let a = -10 + 10. Suppose a = u + 5*u + 12. Let f be 60/18 - u/(-6). Does f = 1?
False
Suppose 95 = -5*h + 990. Which is greater: h or 178?
h
Let q(u) = 3*u - 20. Let x be q(-16). Let f = x - -59. Do f and -9 have the same value?
True
Let m be -2 + 1 - (-11 + 2). Suppose z - 3*z - m = r, -4*z = r + 18. Do 2 and z have the same value?
False
Let n be 108/(-90)*20/(-6). Suppose 0 = 4*s - 5*c - 0*c - 6, -n*s - 5*c = 14. Is s bigger than -48?
True
Let p be (0/(-2))/(-1 - -3). Suppose 4*s + g - 12 = 0, 3*g = -3*s - 2*s + 22. Suppose 5*d - s*x - 2*x = -7, -d + x = 1. Is p less than d?
False
Suppose 5*c - 4*i - 118 - 58 = 0, 0 = -2*i - 8. Is 28 != c?
True
Suppose -4*o - 6 = -0*w - 3*w, -4*o = -2*w. Let y be 11/(-3) + w + -2. Let g = 0.09 + -0.19. Is y at most as big as g?
False
Let l = 173/133 - 3/19. Suppose -4*w + 10 = 5*c - 20, -c - 2*w + 12 = 0. Does c = l?
False
Let x = -472 + 472.4. Is x less than 39?
True
Suppose -2*i - 2*i + 64 = g, g = -4. Let x = i - 20. Which is greater: x or -12?
x
Let v(d) = d**3 + 4*d**2 - 8*d - 7. Let k be v(-5). Suppose 5 = -k*o + 13*o. Is o > 5/7?
True
Suppose 4*u + 83 = -3*h + 3, h + u = -28. Is h at least -100/3?
True
Let y(w) = w**3 + 18*w**2 + w + 22. Let s be y(-18). Suppose 0 = s*d - 20 - 8. Suppose 5*z - d = 3*k, -k - 2*k = 3*z - 9. Are -1/8 and k unequal?
True
Suppose 47 + 1 = 4*r. Let f = r + -9. Let d = -210 - -212. Which is smaller: f or d?
d
Let j = -0.159 + 0.559. Is 13 <= j?
False
Suppose -220 = 4*l - 2*a, 2*l + 4*a + 109 = -1. Which is greater: l or -276/5?
l
Suppose -4*a = x - 119, x + 124 = 4*a - 3*x. Let i = -36 + a. Is i > -7?
True
Let a be (-1)/((-6)/(-306))*-1. Do 51 and a have the same value?
True
Let o = 2200189/558 + -3943. Are 0 and o nonequal?
True
Let c be (-32)/78*(-12360)/(-160). Is c bigger than -33?
True
Let l be -6 + (1 - (1 - 2)). Let j = 115 - 116. Is l at most as big as j?
True
Suppose 0 = -8*o + 6*o + 48. Let b be (-2590)/8 - 6/o. Let z = b + 4214/13. Which is smaller: 1 or z?
z
Let j be ((-52)/(-39))/(6/9). Let q be (403/(-155))/(((-18)/(-5))/j). Is q at most -2?
False
Let b = -1387/22330 + 4/385. Is 1 greater than or equal to b?
True
Let m be (-108)/1134*66/10. Which is greater: 0 or m?
0
Suppose -2*z - 2*r = 0, -3*r + 14 - 2 = -3*z. Let a be 4/(-3 - -7) + 2. Let m be 5 - (-2 + (a - -2)). Is z less than m?
True
Suppose -108*q - 20 = -103*q. Let d be (q - -6) + 0 + (-75)/6. Which is smaller: d or -10?
d
Let n be 1 + 10 + (-2)/2. Let r(h) = -h**2 + 9*h + 10. Let g be r(n). Let s be (0/2 + g)/1. Is 0 equal to s?
True
Let t = -824 - -18948/23. Is t smaller than 0?
True
Let r = 33 + -30. Suppose 5 = -4*t + r*t. Is t at most as big as -5?
True
Let w be 14/(-8) + 4/(-16) + -2. Let z = w - -4. Is -2/31 at most as big as z?
True
Suppose -6*d = -304 - 74. Which is bigger: 62 or d?
d
Suppose -126 = 3*g - 2*g - s, 388 = -3*g + 5*s. Is -120 at least as big as g?
True
Let z = 3608/178395 - 2/1699. Which is smaller: -2/17 or z?
-2/17
Let s(h) = 5*h**2 + 33*h + 15. Let q be s(-6). Let x be 18/(-5) - q - (-584)/840. Let u = 3 - 4. Are x and u nonequal?
True
Let w = 13 + -7. Let h be 4/w + (-1)/3. Suppose -9*t + 12*t = 0. Which is bigger: t or h?
h
Let v = 0.2 - 0.2. Let b = -4825 - -4773. Are v and b equal?
False
Let t = 1 + 0. Let y(k) = -k**3 + 12*k**2 - 20*k + 13. Let g be y(10). Which is greater: t or g?
g
Let y be 43950/(-330) - ((-20)/(-11) - 2). Which is smaller: -136 or y?
-136
Let w = -11 - -28. Let u = -17 + w. Let k be 3/(-1 + u) + -16. Is -18 != k?
True
Let k(u) = u**3 + 21*u**2 + 18*u - 25. Let f be k(-20). Let p be ((-2)/(-58))/(f/30). Which is smaller: p or -1?
-1
Suppose -3*o + 4 = o. Let g = 34 + -35. Let v be (-4)/12 - (g - 0). Which is bigger: o or v?
o
Suppose 0 = 3*l + 2 - 8. Let q be 2/(-4) - (-17)/2. Suppose 4*f - 1 = 3*n, 4*f + q = -2*n + 3*f. Which is smaller: n or l?
n
Suppose 0*h = b - 3*h + 3, -2*b = -5*h + 6. Let v(p) = -p**3 - 3*p**2 + 4*p. Let t be v(-4). Suppose 2*g = -t*g - 8. Which is greater: g or b?
b
Let q = 26 + -24. Let l(o) = 4*o - 8. Let g be l(q). Which is smaller: 6/11 or g?
g
Let n = 676 + -670. Is 14/3 at least as big as n?
False
Suppose -8 - 320 = 8*u. Is u at least -40?
False
Let u = 38 + -32. Let x be 4/(-12) + 134/u. Let r be 2/11 - (-62)/x. Which is bigger: 0.04 or r?
r
Let k be (-96)/87 + 1 + 0. Is k smaller than 0.02?
True
Let b be (-40)/(-64) + (-45726)/48. Is b >= -952?
True
Suppose -9*n - 21 = -2*n. Let a be 6/((-3)/n + 1) + -47. Which is smaller: -45 or a?
-45
Let x(q) = q - 4. Let p be x(8). Suppose 5*j - 37 = 4*v, -j + 3*v = 6*v + p. Suppose -2*w + 7*w + j*o + 10 = 0, w + 5*o = -22. Which is greater: w or 4?
4
Let z = 9 - 4. Suppose -4*y = -2*x - 80, 40 = z*y - 2*x - 61. Are 21 and y non-equal?
False
Suppose 10*w - 32 - 218 = 0. Which is greater: w or 73/3?
w
Suppose 0 = -3*n + n + 12. Let q be -2*2/((-12)/(-9)). Let p = q + 7. Are p and n equal?
False
Let v(p) = p**3 - 28*p**2 - 116*p + 42. Let t be v(32). Is t smaller than 426?
False
Let n be 83/3 - (-4)/12. Suppose -r - r = n. Is r less than or equal to -14?
True
Suppose -2*h - 6 = -4*s, -5*h - s + 5*s = 21. Suppose 3*t = -73 + 88. Let k = t + h. Which is smaller: k or 2/31?
k
Suppose 6*t - 18 = 3*t. Let g = 1 - t. Which is smaller: g or -6?
-6
Let v = -1.1 + 1. Let r = v - 5.9. Let z = r - -5. Which is bigger: 7 or z?
7
Let t = 271 - 287. Is -16 <= t?
True
Let q be ((-10)/(-50))/((-2)/(-330)). Do 29 and q have the same value?
False
Let b be (19/2 + -2)/(36/96). Let f be 5/(b/16) + 20. Is f at least 25?
False
Let f = -75 - -72. Let u = f + 4. Which is smaller: -1/17 or u?
-1/17
Let l = 12260 - 61108/5. Is 39 bigger than l?
True
Suppose 3*b + 6*p = 3*p + 75, -3*b = -4*p - 110. Let w be (b/18)/((-1)/6). Which is bigger: w or -6?
-6
Suppose -4*o = -4*v - 8, -3*o - 5*v - 40 = 2*o. Let m be ((-2)/o*3)/(-2). Let p = 39 - 311/8. Is m >= p?
False
Suppose -129*k + 102*k = 4374. Is k less than or equal to -162?
True
Suppose w = -7*w + 8. Let a = 3/154 + -271/6006. Are a and w non-equal?
True
Let u = -4799821/511 + 9393. Does -1 = u?
False
Let n = 4/81 + -259/324. Let h(v) = 101 - v - 101. Let i be h(0). Is n greater than i?
False
Let h be (-32)/(-48) + (-3129466)/6. Let j = 325463969/624 + h. Let c = j - 5/48. Which is smaller: -1 or c?
-1
Let r = -51 + 85. Suppose 33*p = r*p. Which is bigger: p or -1/2?
p
Let r = -7 + 30. Suppose -13 + r = -2*t. Let u = -8 + 5. Which is greater: u or t?
u
Suppose 4590 = -41*v - 371. Is v != -119?
True
Suppose -5*p = 5*a + 380, -5*p + 2*p + 60 = -a. Suppose -2*m = -3*m - 72. Is m equal to a?
True
Let g = 19 - 30. Let z(k) = -k**2 - 10*k + 10. Let y be z(g). Let v be (2/(-6))/((-90)/(-108)). Are v and y equal?
False
Let d = -4 - -6. Let h be (16/32)/(d/56). Does 0 = h?
False
Let t be 1 + 38/12 - (5 + 0). Suppose 2*q = -0*q - 2, q = -2*g - 1. Is g < t?
False
Let d = -101 - -107. Let s be -2 + (21/d + -3)*2. Is s at most as big as -1?
True
Suppose 4*c + 66 = -2*z, -5*c - 2*z - z = 81. Let x = 18 + c. Let g be (-10)/8 + -2 + 4. Do g and x have different values?
True
Let m = 1070.1 + -1070. Which is greater: -1062 or m?
m
Let y = -6 + 5. Let w be (-12)/(-8) - (2 - 0 - y). Is w bigger than -9?
True
Suppose 0*v + 2*v = -5*l + 14, 0 = 2*v + 4*l - 14. Let f = v - 8. Is f at least 3?
False
Suppose 4*r - 3*r + 12 = -3*k, -35 = -5*r + 4*k. Suppose -5*d - 14 = -r*d. Let c = 6 + d. Which is smaller: 0 or c?
c
Suppose 0